Implémentation d’une intervention de Case Management dans les services d’urgence

Invariants de Vassiliev pour les entrelacs dans S³ et dans les variétés de dimension trois

et Uwe qui ont rendu ces ann ees de th ese tr es instructives et surtout tr es agr eables. Merci ennn a mes parents et a mon fr ere pour leur soutien important.

Caractérisation des délais dans les applications de supervision de réseaux et de services

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...

Participation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine

Implémentation à l'aide de BPEL de trois processus d'agrégation de composants, dirigée par les modèles

RÉSUMÉ. Plusieurs organisations qui œuvrent dans le domaine d’apprentissage à distance utilisent le composant logiciel comme unité de base pour construire leur système. Ils ne développent presque plus de nouveaux composants, mais ils les réutilisent et appliquent des réingénieries pour des fins d’adaptation aux nouveaux contextes. Ceci prouve que le développement logiciel par agrégation des com...

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...